Interpreting SWRL Rules in RDF Graphs
نویسندگان
چکیده
An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics. In this paper we propose to make the model-theoretic semantics of SWRL compatible with RDF by interpreting SWRL rules in RDF graphs. For dealing with SWRL/RDF rules, we regard ‘Implies’ as an OWL class, and extract all ‘Implies’ rules from an RDF database that represents a SWRL knowledge base. Each ‘Implies’ rule is grounded through mappings built into the semantic conditions of the model theory. Based on the fixpoint semantics, a bottom-up strategy is employed to compute the least Herbrand models.
منابع مشابه
OWL rules: A proposal and prototype implementation
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present SWRL (the Semantic Web Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. SWRL extends OWL in a syntactically and semantically coherent manner: th...
متن کاملCombining SWRL rules and OWL ontologies with Protégé OWL Plugin, Jess, and Racer
The presentation concerns a draft implementation with Protégé OWL Plugin for SWRL, based on the RDF concrete syntax of the SWRL proposal. A first prototype of a SWRL Tab Widget has been achieved. It is a bridge between Protégé OWL, Racer, and Jess, intended to help reasoning with SWRL rules combined with OWL ontologies. A small example is given including an OWL ontology representing the family ...
متن کاملReasoning about Provenance with OWL and SWRL Rules
Science and engineering are information intensive collaborative enterprises which have their own complex and rapidly evolving processes for creating, discovering, and analyzing digital artifacts. To support multiple contexts (Virtual Organizations), infrastructure must provide general purpose mechanisms for reasoning about processes and data. This paper considers one important aspect of this pr...
متن کاملVisualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog
SWRL rules are transformed in two steps for visualization in a subset of Grailog. A Unary/Binary Datalog rule in SWRL presentation syntax is translated to a corresponding PSOA RuleML rule in a RIF-like presentation syntax employing frame formulas. This is then translated to the Graphviz DOT language so that the Graphviz tool can render it visually as a Grailog graph with an object identifier an...
متن کاملSCOPE: A Scientific Compound Object Publishing and Editing System
This paper presents the SCOPE (Scientific Compound Object Publishing and Editing) system which is designed to enable scientists to easily author, publish and edit scientific compound objects. Scientific compound objects enable scientists to encapsulate the various datasets and resources generated or utilized during a scientific experiment or discovery process, within a single compound object, f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 151 شماره
صفحات -
تاریخ انتشار 2006